Logic of information flow on communication channels
نویسندگان
چکیده
In this paper, we develop an epistemic logic for specifying and reasoning about information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modeling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS approaches and demonstrate its use by studying a telephone call communication scenario.
منابع مشابه
Logic of Information Flow on Communication Channels
In this paper, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our lo...
متن کاملImperfect Information Flow of Agents Communication in Arrow Logic
This paper formalizes the communication of agents with modal operators in arrow logic. A communication between agents consists of an agent's utterance and the other agent's perception, thus, both of the utterance and the perception are regarded as parts of a communication channel between agents. Information is regarded as a propositional content of a sentence. An information channel where infor...
متن کاملA Two-Threshold Guard Channel Scheme for Minimizing Blocking Probability in Communication Networks
In this paper, we consider the call admission problem in cellular network with two classes of voice users. In the first part of paper, we introduce a two-threshold guard channel policy and study its limiting behavior under the stationary traffic. Then we give an algorithm for finding the optimal number of guard channels. In the second part of this paper, we give an algorithm, which minimizes th...
متن کاملInteractive Communication Channels and Their Appropriateness for the FMCG Business
Purpose: The aim and objective of this report is to identify the benefits of interactive communication channels and to advice the FMCG business on how these new methods are better than the conventional methods. Design/ Methodology/Approach: In this research article facts about advertisement and its effectiveness were collected from different surveys conducted by various agencies. Mainly second...
متن کاملAn Epistemic Formulation of Information Flow Analysis
Most accounts of information flow security in programming languages emphasize non-interference to characterize security: in a secure program, changes to high-security inputs do not alter the values of low-security outputs. The definition of non-interference is incompatible with declassification, which allows some low-security outputs to be influenced by high-security inputs. We propose an alter...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010